Wyniki
-
Intuitionistic implication in some non-classical modal logics of type S4
Josep Maria Font
Bulletin of the Section of Logic , 12 /1 (1983) s. 2-7 -
On Substructural Logics Preserving Degrees of Truth
Josep Maria Font
Bulletin of the Section of Logic , 36 /3-4 (2007) s. 117-130 -
Atoms in a Lattice of Theories
Josep Maria Font
Bulletin of the Section of Logic , 42 /1-2 (2013) s. 21-32 -
Full models for sentential logic
Josep Maria Font, Ramon Jansana
Bulletin of the Section of Logic , 24 /3 (1995) s. 123-131 -
On the logic of distributive lattices
Josep Maria Font, Ventura Verdu
Bulletin of the Section of Logic , 18 /2 (1989) s. 79-86 -
Characterization of the reduced matrices for the {&,or}-fragment of classical logic
Josep Maria Font, F. Guzman, Ventura Verdu
Bulletin of the Section of Logic , 20 /3-4 (1991) s. 124-129